121. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
122. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
123. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده : Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
124. Machines, languages, and complexity
پدیدآورنده : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 41-81, 8891 : selected contributions ; J. Dassow, J. Kelemen, eds
موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
125. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده : Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
126. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
پدیدآورنده : edited by J. Gruska, B. Rovan and J. Wiedermann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
127. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
پدیدآورنده : edited by J. Gruska and M. Chytil
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
128. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
129. Measure of complexity : proceedings of the Conference held in Rome, September 30 - Octobr 2, 1987
پدیدآورنده : L. Peliti, A. Vulpiani, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System theory,Congresses ، Computational complexity
رده :
QC
3
.
L28
Vol
.
314
130. Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، System theory-- Congresses,، Computational complexity-- Congresses
رده :
Q
295
.
M43
1988
131. Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987
پدیدآورنده : L. Peliti, A. Vulpiani, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، System theory,Congresses ، Computational complexity
رده :
QC
1
.
L4
v
.
314
132. New developments in computational fluid dynamics
پدیدآورنده : / Kozo Fujii ... [et al.], (editors)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Fluid dynamics- Data processing Congresses,Computational complexity Congresses
رده :
QA911
.
I546
2003
133. New developments in computational fluid dynamics
پدیدآورنده : / Kozo Fujii ... [et al.], (editors)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fluid dynamics , Data processing , Congresses,Computational complexity , Congresses,Electronic books
رده :
E-BOOK
134. New developments in computational fluid dynamics
پدیدآورنده : / Kozo Fujii ... [et al.], (editors)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Fluid dynamics- Data processing Congresses,Computational complexity Congresses
رده :
QA911
.
I546
2003
135. New developments in computational fluid dynamics
پدیدآورنده :
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Fluid dynamics- Data processing- Congresses,Computational complexity- Congresses
رده :
QA
,
911
,.
I546
,
2003
136. Nonlinear analysis :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ; Congresses. ;
137. Optimal algorithms : International Symposium, Varna, Bulgaria, May 29 - June 2, 1989 : Proceedings
پدیدآورنده : H. Djidjev, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Approximation theory,Congresses ، Mathematical optimization,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
401
138. Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Approximation theory-- Congresses,، Mathematical optimization-- Congresses,، Computational complexity-- Congresses
رده :
QA
297
.
O66
1989
139. Optimal estimation in approximation theory : ]proceedings of an International Symposium on Optimal Estimation in Approximation Theory held in Freudenstadt, Federal Republic of Germany, September 27-29, c1976[
پدیدآورنده : International Symposium on Optimal Estimation in Approximation Theory, 6791, Freudenstadt, Ger.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Approximation theory-- Congresses,، Mathematical optimization-- Congresses,، Computational complexity-- Congresses
رده :
QA
297
.
5
.
I57
1976
140. Parameterized and exact computation : first International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
پدیدآورنده : Rod Downey, Michael Fellows, Frank Dehne )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parameter estimation,Congresses ، Computer algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
3162